$\forall$$r$, $s$:$\mathbb{N}^{+}$. CoPrime($r$,$s$) $\Rightarrow$ ($\exists$$x$:$\mathbb{Z}$. ($x$ = 1 mod $r$) \& ($x$ = 0 mod $s$))